$\forall$${\it es}$:ES, $T$:Type, $I$:MaInterface($T$).
\\[0ex]ma{-}interface{-}consistent(${\it es}$;$I$) $\Rightarrow$ ([[$I$$\mid\forall$]] $\in$ (AbsInterface($T$) List))